Fenchel equalities and bilinear minmax equalities
نویسندگان
چکیده
منابع مشابه
Interprocedural Herbrand Equalities
We present an aggressive interprocedural analysis for inferring value equalities which are independent of the concrete interpretation of the operator symbols. These equalities, called Herbrand equalities, are therefore an ideal basis for truly machine-independent optimizations as they hold on every machine. Besides a general correctness theorem, covering arbitrary call-by-value parameters and l...
متن کاملDuality for Boolean Equalities
0. Notation. The basic notation for Boolean algebras is the standard one (for instance, see [l]). Throughout this paper, the letter O will denote the two-element Boolean algebra; whenever a topology is assumed to be defined on 0, then this topology is the discrete one. If 73 is a Boolean algebra, then a valuation of B is a homomorphism from 73 onto 0. We make precise the terminology we shall be...
متن کاملAlgebras with fuzzy equalities
In our previous study, we were interested in the equational fragment of first-order fuzzy logic [2, 3]. It turned out that the models of the equational fragment (which we call algebras with fuzzy equalities) are interesting and natural structures by themselves. The present paper provides an introductory study to the structures of equational fragment of fuzzy logic. The paper is an excerpt from ...
متن کاملAlpha equivalence equalities
Programming languages and logics, which are pervasive in Computer Science, have syntax which involves variable binding constructors. As such, reasoning about such languages in general, and formal reasoning in particular (such as within a theorem prover), requires frameworks within which the syntax may be properly represented. One key requirement is a correct representation of α-equivalence. The...
متن کاملEqualities and Inequalities in Health
The economically indigent are at a greater -risk for acquiring many medical conditions than are the economically privileged. Is this due to genetic, environmental, or social factors, or some combination of them? The answer, of course, is that each disease and injurious process has an etiology of its own and that each of the aforementioned factors contributes in some measure to the poor health o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATHEMATICA SCANDINAVICA
سال: 2006
ISSN: 1903-1807,0025-5521
DOI: 10.7146/math.scand.a-14992